Political Stare Decisis

The doctrine of stare decisis famously instructs judges to respect past decisions even if they believe these decisions are wrong. Many believe stare decisis serves venerable values and bemoan its apparent demise in various apex courts around the world. But can something like stare decisis appear in politics too? In other words, can we expect public officials, much like we expect judges, to also adhere to past decisions even if they think these decisions are wrong? Or when they face temptations to ignore the past? If we rely on our normal intuitions about politics, or observe its current state around the world, the answer seems to be “no.” And while previous scholarship presents a more qualified view, this literature is greatly incomplete. It focuses on a limited set of domestic and international institutions that primarily resemble judicial ones. Alternatively, this scholarship is preoccupied with the normative or interpretive question of how domestic and international courts should incorporate what looks like a political analogy to stare decisis into legal doctrine. As a result, we are left uncertain about how broad the phenomenon of constraint by the past in politics really is. We are also left unsure about where the phenomenon is likely to appear, how exactly it operates, and what we might be able to do to achieve more (or less) of this type of constraint. In a world where so much of what seems wrong in domestic and global politics appears connected to the rushed erosion of the past, or its increased stickiness, this omission is significant. This Article fills this gap by offering a comprehensive explanatory and functional theory of the role of the past as a constraint in domestic and global politics, or, in short, a theory of political stare decisis. Given the stakes of the past in politics today, the Article suggests what public officials and institutional designers in domestic and international politics might be able to do to deliberately “tinker” with political stare decisis. For example, how officials can establish entirely new political precedents that will constrain in the future, how they might strengthen existing political precedents that they like (or weaken political precedents they dislike), and what solutions are generally available to make political stare decisis more robust. The Article concludes with a more jurisprudential point. While much in the discussion demonstrates that political stare decisis and the more familiar institution of judicial stare decisis substantially diverge, the Article claims that these differences may be much less meaningful than meets the eye. Instead of completely divergent practices, judicial stare decisis may ultimately be nothing more than one species of political stare decisis. The Article argues that acknowledging this fact significantly improves our understanding of judicial stare decisis. Among other things, it shows us when judicial stare decisis is “for suckers” and when it is not; it flags new ways to strengthen judicial stare decisis in jurisdictions where it seems to have dramatically weakened; and it illuminates how those who work to achieve their goals through domestic and international courts and their precedents should appropriately (and effectively) approach this task

Portability and Scalability of OpenMP Offloading on State-of-the-art Accelerators

Over the last decade, most of the increase in computing power has been gained by advances in accelerated many-core architectures, mainly in the form of GPGPUs. While accelerators achieve phenomenal performances in various computing tasks, their utilization requires code adaptations and transformations. Thus, OpenMP, the most common standard for multi-threading in scientific computing applications, introduced offloading capabilities between host (CPUs) and accelerators since v4.0, with increasing support in the successive v4.5, v5.0, v5.1, and the latest v5.2 versions. Recently, two state-of-the-art GPUs - the Intel Ponte Vecchio Max 1100 and the NVIDIA A100 GPUs - were released to the market, with the oneAPI and GNU LLVM-backed compilation for offloading, correspondingly. In this work, we present early performance results of OpenMP offloading capabilities to these devices while specifically analyzing the potability of advanced directives (using SOLLVE's OMPVV test suite) and the scalability of the hardware in representative scientific mini-app (the LULESH benchmark). Our results show that the vast majority of the offloading directives in v4.5 and 5.0 are supported in the latest oneAPI and GNU compilers; however, the support in v5.1 and v5.2 is still lacking. From the performance perspective, we found that PVC is up to 37% better than the A100 on the LULESH benchmark, presenting better performance in computing and data movements.Comment: 13 page

Scope is all you need: Transforming LLMs for HPC Code

With easier access to powerful compute resources, there is a growing trend in the field of AI for software development to develop larger and larger language models (LLMs) to address a variety of programming tasks. Even LLMs applied to tasks from the high-performance computing (HPC) domain are huge in size (e.g., billions of parameters) and demand expensive compute resources for training. We found this design choice confusing - why do we need large LLMs trained on natural languages and programming languages unrelated to HPC for HPC-specific tasks? In this line of work, we aim to question design choices made by existing LLMs by developing smaller LLMs for specific domains - we call them domain-specific LLMs. Specifically, we start off with HPC as a domain and propose a novel tokenizer named Tokompiler, designed specifically for preprocessing code in HPC and compilation-centric tasks. Tokompiler leverages knowledge of language primitives to generate language-oriented tokens, providing a context-aware understanding of code structure while avoiding human semantics attributed to code structures completely. We applied Tokompiler to pre-train two state-of-the-art models, SPT-Code and Polycoder, for a Fortran code corpus mined from GitHub. We evaluate the performance of these models against the conventional LLMs. Results demonstrate that Tokompiler significantly enhances code completion accuracy and semantic understanding compared to traditional tokenizers in normalized-perplexity tests, down to ~1 perplexity score. This research opens avenues for further advancements in domain-specific LLMs, catering to the unique demands of HPC and compilation tasks

The natural history of primary sclerosing cholangitis in 781 children. A multicenter, international collaboration

There are limited data on the natural history of primary sclerosing cholangitis (PSC) in children. We aimed to describe the disease characteristics and long-term outcomes of pediatric PSC. We retrospectively collected all pediatric PSC cases from 36 participating institutions and conducted a survival analysis from the date of PSC diagnosis to dates of diagnosis of portal hypertensive or biliary complications, cholangiocarcinoma, liver transplantation, or death. We analyzed patients grouped by disease phenotype and laboratory studies at diagnosis to identify objective predictors of long-term outcome. We identified 781 patients, median age 12 years, with 4,277 person-years of follow-up; 33% with autoimmune hepatitis, 76% with inflammatory bowel disease, and 13% with small duct PSC. Portal hypertensive and biliary complications developed in 38% and 25%, respectively, after 10 years of disease. Once these complications developed, median survival with native liver was 2.8 and 3.5 years, respectively. Cholangiocarcinoma occurred in 1%. Overall event-free survival was 70% at 5 years and 53% at 10 years. Patient groups with the most elevated total bilirubin, gamma-glutamyltransferase, and aspartate aminotransferase-to-platelet ratio index at diagnosis had the worst outcomes. In multivariate analysis PSC-inflammatory bowel disease and small duct phenotypes were associated with favorable prognosis (hazard ratios 0.6, 95% confidence interval 0.5-0.9, and 0.7, 95% confidence interval 0.5-0.96, respectively). Age, gender, and autoimmune hepatitis overlap did not impact long-term outcome. CONCLUSION: PSC has a chronic, progressive course in children, and nearly half of patients develop an adverse liver outcome after 10 years of disease; elevations in bilirubin, gamma-glutamyltransferase, and aspartate aminotransferase-to-platelet ratio index at diagnosis can identify patients at highest risk; small duct PSC and PSC-inflammatory bowel disease are more favorable disease phenotypes

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Searches for lepton-flavour-violating decays of the Higgs boson in s=13\sqrt{s}=13 TeV pp\mathit{pp} collisions with the ATLAS detector

This Letter presents direct searches for lepton flavour violation in Higgs boson decays, H → eτ and H → μτ , performed with the ATLAS detector at the LHC. The searches are based on a data sample of proton–proton collisions at a centre-of-mass energy √s = 13 TeV, corresponding to an integrated luminosity of 36.1 fb−1. No significant excess is observed above the expected background from Standard Model processes. The observed (median expected) 95% confidence-level upper limits on the leptonflavour-violating branching ratios are 0.47% (0.34+0.13−0.10%) and 0.28% (0.37+0.14−0.10%) for H → eτ and H → μτ , respectively.publishedVersio

Identification of boosted Higgs bosons decaying into b-quark pairs with the ATLAS detector at 13 TeV

This paper describes a study of techniques for identifying Higgs bosons at high transverse momenta decaying into bottom-quark pairs, H→bb¯ , for proton–proton collision data collected by the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy s√=13 TeV . These decays are reconstructed from calorimeter jets found with the anti- kt R=1.0 jet algorithm. To tag Higgs bosons, a combination of requirements is used: b-tagging of R=0.2 track-jets matched to the large-R calorimeter jet, and requirements on the jet mass and other jet substructure variables. The Higgs boson tagging efficiency and corresponding multijet and hadronic top-quark background rejections are evaluated using Monte Carlo simulation. Several benchmark tagging selections are defined for different signal efficiency targets. The modelling of the relevant input distributions used to tag Higgs bosons is studied in 36 fb −1 of data collected in 2015 and 2016 using g→bb¯ and Z(→bb¯)γ event selections in data. Both processes are found to be well modelled within the statistical and systematic uncertainties

Measurement of the inclusive cross-section for the production of jets in association with a Z boson in proton-proton collisions at 8 TeV using the ATLAS detector

The inclusive cross-section for jet production in association with a Z boson decaying into an electron–positron pair is measured as a function of the transverse momentum and the absolute rapidity of jets using 19.9 fb −1 of s√=8 TeV proton–proton collision data collected with the ATLAS detector at the Large Hadron Collider. The measured Z + jets cross-section is unfolded to the particle level. The cross-section is compared with state-of-the-art Standard Model calculations, including the next-to-leading-order and next-to-next-to-leading-order perturbative QCD calculations, corrected for non-perturbative and QED radiation effects. The results of the measurements cover final-state jets with transverse momenta up to 1 TeV, and show good agreement with fixed-order calculations